#define STRLEN __wcslen_evex512
#define USE_AS_WCSLEN 1

#include "strlen-evex512.S"
